• Modelling Oblivious Transfer in EasyCrypt 

      Furuberg, Mikkel Langtangen (Master thesis, 2018)
      We describe how to construct an oblivious transfer protocol which security is based on subset membership problems and smooth projective hash functions. A specific protocol based on the two-message oblivious transfer protocols ...